How Many Diamonds Do We Miss Under Lava